Marianne Writes a Programming Language